Kurt Gödel, a member of the Vienna Circle, constructed a lengthy proof, the purpose of which was to show that any complete complex system of formal logic, like arithmetic (particularly as encapsuled by Whitehead & North's Principia Mathematica), contained propositions that were formally undecidable within the system (i.e., that they could not be proved either true or false using the axioms and rules of inference). [read post]